数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教材。

数理逻辑是计算机科学的基础之一，在模型与系统的规范与验证等方面有着广泛的应用。随着当今软硬件产品（电路、程序和通信协议等）日趋复杂，数理逻辑已经成为设计开发人员的日常工具。 作为计算机及其相关专业的数理逻辑课程教材，本书自出版以来受到了广泛的好评，世界许多著名大学（比如美国普林斯顿大学、卡内基?梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰Vrije大学、印度理工学院）都采用本书作为教材。 全书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和验证这一主题，反映计算机科学中数理逻辑的发展和实际需要。第2版新增了可满足性（SAT）算法、紧致性理论和L?wenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式...(展开全部)

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

当今社会不同学科的相互沟通、交叉、渗透和综合成为主要趋势，新学科大多是综合性科学。重新统一的科学作为一种系统，要求有一种能把现有纵向划分的学科沟通连缀起来的横断学科，提供不同学科都使用的概念、原理和方法，使科学在整体上具有纵横交错的网络结构。系统科学就是这种横断科学，它的科学使命是使新型科学成为一个按多维网络结构组织起来的复杂巨系统，是一种新型跨学科的学问。 　　基于社会的需要,我们请长期这方面研究的方美琪老师组织编写了本教材,主要介绍了系统科学与复杂理论在经济学等社会科学中的应用,以及各种社会科学计算机模型。具体讲述了多主体系统MAS在社会科学中的应用，基于主体的计算经济学研究ACE，流行的多主体建模的平台工具：Swarm,Repast,Ascape等，人工神经网络、遗传算法、分类器系统在学习与进化模型中的应用等内容。

本书介绍数理逻辑及其在机器证明中的应用. 数理逻辑部分包括绪论、前三章及附录. 绪论简要地说明了数理逻辑的研究对象和方法. 前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题. 附录中阐述了重演式的推理，并且论证了它与自然推理的关系. 第四至第六章是机器证明部分，主要描述与数理逻辑有关的机器证明问题.

《复杂系统建模理论、方法与技术》是一部专门研究复杂系统建模理论、方法与技术的著作。作者在全面论述系统建模基本理论和常用建模方法的基础上，重点研究面向复杂系统数学建模的新方法与技术，以及仿真建模环境和工具，并深入讨论人们十分关心的大型复杂仿真系统建模的VV&A与可信度评估技术及其应用。复杂系统建模是越来越多的复杂工程系统、社会经济系统、军事作战系统、人工生命系统等研究的基础，有着极其广泛而旺盛的社会、经济、国防和科技需求，堪称仿真科学与技术的前沿新领域。

现代战争中，雷达电子战已成为不可缺少的重要组成部分，是决定战争胜负的重要因素之一。目前，各国极力研究，建造与发展一个整体效能高、反应速度快、生存能力强的雷达电子战系统。本书系统、全面地介绍了现代雷达电子战系统的建模与仿真技术，其中包括：雷达电子战的基本概念，雷达目标特性与电磁环境的建模与仿真，无源与有源干扰的建模与仿真，相控阵雷达，合成孔径雷达、脉冲多普勒雷达的建模与仿真、雷达天线、信号与数据处理技术，雷达电子战系统的分布式仿真、效能评估和仿真及评估系统实例。

本书详细介绍了基于MATLAB和Python的动态系统建模与分析所需的一系列控制主题及高级编程技能。首先对姿态估计与控制进行了全面介绍，包括姿态运动学、传感器以及用于姿态估计的扩展卡尔曼滤波器。然后对自动驾驶车辆任务规划进行了实用讨论，包括无人机路径规划和移动目标跟踪。接着对生物系统建模进行了综合探索，包括生物分子网络和随机建模。最后对使用生物系统的控制算法以及其实现进行了深入研究。本书对于期望使用控制理论进行动态系统建模和分析，并熟练掌握相关编程技能的学生或工程师来说，是不可或缺的资源。

本书面向所有对计算机科学感兴趣的读者，以浅显易懂的语言和简明扼要的形式介绍计算机科学领域的重要知识点，尽量少涉及学术概念，着力将抽象理论具体化，复杂问题简单化，既适合计算机专业技术人员查漏补缺基本理论，也适合普通读者了解计算思维。·